2
Automated Practical Reasoning: Algebraic Approaches

Automated Practical Reasoning: Algebraic Approaches

سال:
1995
زبان:
english
فائل:
PDF, 5.05 MB
0 / 0
english, 1995
5
Computer mathematics : proceedings of the Fourth Asian Symposium (ASCM 2000)

Computer mathematics : proceedings of the Fourth Asian Symposium (ASCM 2000)

سال:
2001
زبان:
english
فائل:
PDF, 14.30 MB
0 / 0
english, 2001
11
Symbolic-Numeric Computation

Symbolic-Numeric Computation

سال:
2007
زبان:
english
فائل:
PDF, 5.24 MB
0 / 0
english, 2007